#include <xen/evtchn.h>
#include "op_counter.h"
+#include <xen/driver_util.h>
#include <xen/interface/xen.h>
#include <xen/interface/xenoprof.h>
#include <../../../drivers/oprofile/cpu_buffer.h>
npages = (passive_domains[i].bufsize * passive_domains[i].nbuf - 1) / PAGE_SIZE + 1;
- area = get_vm_area(npages * PAGE_SIZE, VM_IOREMAP);
+ area = alloc_vm_area(npages * PAGE_SIZE);
if (area == NULL) {
ret = -ENOMEM;
goto out;
npages = (init.bufsize * nbuf - 1) / PAGE_SIZE + 1;
- area = get_vm_area(npages * PAGE_SIZE, VM_IOREMAP);
+ area = alloc_vm_area(npages * PAGE_SIZE);
if (area == NULL) {
ret = -ENOMEM;
goto out;